refinements to techniques for verifying shape analysis inva published presentations and documents on DocSlides.
